[Mini-OS] Make sure schedule() is called safely
authorKeir Fraser <keir.fraser@citrix.com>
Sat, 24 Nov 2007 13:29:20 +0000 (13:29 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Sat, 24 Nov 2007 13:29:20 +0000 (13:29 +0000)
commit26aa688655105f22dc67bb98c5def9a2fb1209e3
tree37ad75ea8a6ef84970928a26c2449071cc8e8d52
parentcf64298141ead63b0b72fdee091d62f1148e89e1
[Mini-OS] Make sure schedule() is called safely

If a thread tries to sleep from a callback or with callbacks disabled,
Mini-OS will completely lock, so make sure this never happens.

Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
extras/mini-os/hypervisor.c
extras/mini-os/include/hypervisor.h
extras/mini-os/sched.c